[tail] [up]

2.2.1 Integrals 1 to 62

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

263 244 187 449 320 0 0 0 0

N.S.

1 0.93 0.71 1.71 1.22 0.00 0.00 0.00 0.00

time (sec)

N/A 0.538 1.153 0.275 0.189 0.000 0.000 0.000 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 193 463 350 259 0 0 0 0

N.S.

1 0.95 2.27 1.72 1.27 0.00 0.00 0.00 0.00

time (sec)

N/A 0.492 1.642 0.098 0.194 0.000 0.000 0.000 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 127 98 244 202 0 0 0 0

N.S.

1 0.93 0.72 1.79 1.49 0.00 0.00 0.00 0.00

time (sec)

N/A 0.426 0.269 0.078 0.198 0.000 0.000 0.000 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 76 55 91 139 0 0 0 0

N.S.

1 0.94 0.68 1.12 1.72 0.00 0.00 0.00 0.00

time (sec)

N/A 0.449 0.072 0.121 0.178 0.000 0.000 0.000 0.000

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

148 148 753 901 0 0 0 0 0

N.S.

1 1.00 5.09 6.09 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.324 2.531 1.796 0.000 0.000 0.000 0.000 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

251 257 208 301 244 0 0 0 0

N.S.

1 1.02 0.83 1.20 0.97 0.00 0.00 0.00 0.00

time (sec)

N/A 0.970 1.093 0.122 0.189 0.000 0.000 0.000 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

370 347 271 385 360 0 0 0 0

N.S.

1 0.94 0.73 1.04 0.97 0.00 0.00 0.00 0.00

time (sec)

N/A 1.071 1.808 0.089 0.189 0.000 0.000 0.000 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

56 61 75 158 0 0 0 0 0

N.S.

1 1.09 1.34 2.82 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.505 0.112 0.609 0.000 0.000 0.000 0.000 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 59 78 74 357 159 231 363 414

N.S.

1 0.82 1.08 1.03 4.96 2.21 3.21 5.04 5.75

time (sec)

N/A 0.292 0.088 0.230 0.187 0.255 0.464 0.288 4.555

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

69 54 59 67 225 144 180 322 237

N.S.

1 0.78 0.86 0.97 3.26 2.09 2.61 4.67 3.43

time (sec)

N/A 0.297 0.074 0.131 0.186 0.272 0.373 0.281 0.677

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 46 77 61 113 73 95 180 73

N.S.

1 0.96 1.60 1.27 2.35 1.52 1.98 3.75 1.52

time (sec)

N/A 0.251 0.031 0.079 0.198 0.257 0.289 0.285 4.957

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 43 54 54 0 0 0 0 0

N.S.

1 0.80 1.00 1.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.261 0.022 0.103 0.000 0.000 0.000 0.000 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

63 53 69 64 95 85 219 152 122

N.S.

1 0.84 1.10 1.02 1.51 1.35 3.48 2.41 1.94

time (sec)

N/A 0.279 0.081 0.186 0.184 0.269 0.612 0.286 4.305

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 50 100 67 131 88 313 194 67

N.S.

1 0.79 1.59 1.06 2.08 1.40 4.97 3.08 1.06

time (sec)

N/A 0.272 0.077 0.339 0.179 0.264 0.906 0.281 4.905

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

159 141 148 261 827 383 581 733 1730

N.S.

1 0.89 0.93 1.64 5.20 2.41 3.65 4.61 10.88

time (sec)

N/A 0.847 0.152 0.363 0.388 0.274 0.681 0.322 5.388

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 143 150 251 619 0 0 0 0

N.S.

1 0.80 0.84 1.40 3.46 0.00 0.00 0.00 0.00

time (sec)

N/A 0.831 0.359 0.357 0.384 0.000 0.000 0.000 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 91 134 221 316 191 238 351 432

N.S.

1 0.96 1.41 2.33 3.33 2.01 2.51 3.69 4.55

time (sec)

N/A 0.506 0.102 0.137 0.401 0.270 0.421 0.291 4.533

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

168 158 424 705 0 0 0 0 0

N.S.

1 0.94 2.52 4.20 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.813 0.252 1.022 0.000 0.000 0.000 0.000 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 95 126 252 0 0 0 0 0

N.S.

1 0.91 1.21 2.42 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.567 0.260 0.290 0.000 0.000 0.000 0.000 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

119 98 136 238 329 270 1102 375 776

N.S.

1 0.82 1.14 2.00 2.76 2.27 9.26 3.15 6.52

time (sec)

N/A 0.607 0.197 0.338 0.211 0.266 1.054 0.300 5.243

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 141 218 307 0 0 0 0 0

N.S.

1 0.78 1.21 1.71 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.866 0.449 0.978 0.000 0.000 0.000 0.000 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

172 157 218 273 613 547 3516 730 2746

N.S.

1 0.91 1.27 1.59 3.56 3.18 20.44 4.24 15.97

time (sec)

N/A 0.986 0.259 1.088 0.211 0.299 2.438 0.300 6.538

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

263 222 336 1079 0 0 0 0 0

N.S.

1 0.84 1.28 4.10 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.582 0.547 3.056 0.000 0.000 0.000 0.000 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 143 220 932 629 0 0 0 0

N.S.

1 0.89 1.38 5.82 3.93 0.00 0.00 0.00 0.00

time (sec)

N/A 0.986 0.298 0.648 0.403 0.000 0.000 0.000 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

257 231 581 1442 0 0 0 0 0

N.S.

1 0.90 2.26 5.61 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.143 0.464 0.485 0.000 0.000 0.000 0.000 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

143 129 232 1466 0 0 0 0 0

N.S.

1 0.90 1.62 10.25 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.861 0.498 0.461 0.000 0.000 0.000 0.000 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

166 143 335 4949 0 0 0 0 0

N.S.

1 0.86 2.02 29.81 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.024 1.038 0.941 0.000 0.000 0.000 0.000 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

269 220 385 1776 0 0 0 0 0

N.S.

1 0.82 1.43 6.60 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.843 1.341 3.936 0.000 0.000 0.000 0.000 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 25 31 14 58 0 0 0 0

N.S.

1 1.19 1.48 0.67 2.76 0.00 0.00 0.00 0.00

time (sec)

N/A 0.229 0.005 0.036 0.186 0.000 0.000 0.000 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 30 52 29 132 0 0 0 0

N.S.

1 0.94 1.62 0.91 4.12 0.00 0.00 0.00 0.00

time (sec)

N/A 0.248 0.008 0.115 0.190 0.000 0.000 0.000 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

168 167 270 599 333 386 644 2336 737

N.S.

1 0.99 1.61 3.57 1.98 2.30 3.83 13.90 4.39

time (sec)

N/A 0.466 0.148 0.138 0.196 0.279 0.718 0.344 4.577

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 128 174 351 207 242 369 976 381

N.S.

1 1.07 1.45 2.92 1.72 2.02 3.08 8.13 3.18

time (sec)

N/A 0.403 0.088 0.121 0.181 0.264 0.534 0.307 4.321

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 106 138 122 109 134 173 341 136

N.S.

1 1.09 1.42 1.26 1.12 1.38 1.78 3.52 1.40

time (sec)

N/A 0.354 0.042 0.078 0.193 0.263 0.435 0.287 1.502

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 40 48 37 36 61 46 200 48

N.S.

1 1.00 1.20 0.92 0.90 1.52 1.15 5.00 1.20

time (sec)

N/A 0.185 0.010 0.037 0.188 0.252 0.186 0.265 4.122

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 148 148 192 0 0 0 0 0

N.S.

1 1.14 1.14 1.48 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.552 0.038 0.289 0.000 0.000 0.000 0.000 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 121 125 137 121 263 1605 474 170

N.S.

1 1.05 1.09 1.19 1.05 2.29 13.96 4.12 1.48

time (sec)

N/A 0.409 0.122 0.236 0.198 0.359 2.471 0.307 4.386

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 170 174 197 291 834 19859 2567 417

N.S.

1 1.02 1.04 1.18 1.74 4.99 118.92 15.37 2.50

time (sec)

N/A 0.487 0.218 0.555 0.202 0.829 9.022 0.336 5.633

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

562 547 1082 2318 1363 0 0 0 0

N.S.

1 0.97 1.93 4.12 2.43 0.00 0.00 0.00 0.00

time (sec)

N/A 1.110 5.178 0.275 0.404 0.000 0.000 0.000 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

374 374 795 1411 806 0 0 0 0

N.S.

1 1.00 2.13 3.77 2.16 0.00 0.00 0.00 0.00

time (sec)

N/A 0.803 2.517 0.193 0.390 0.000 0.000 0.000 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

221 231 271 453 415 0 0 0 0

N.S.

1 1.05 1.23 2.05 1.88 0.00 0.00 0.00 0.00

time (sec)

N/A 0.648 0.947 0.141 0.416 0.000 0.000 0.000 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 93 103 134 0 0 0 0 0

N.S.

1 0.96 1.06 1.38 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.510 0.149 0.109 0.000 0.000 0.000 0.000 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

214 241 3806 1700 0 0 0 0 0

N.S.

1 1.13 17.79 7.94 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.416 102.080 2.365 0.000 0.000 0.000 0.000 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

480 491 425 592 0 0 0 0 0

N.S.

1 1.02 0.89 1.23 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.760 5.345 0.539 0.000 0.000 0.000 0.000 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

750 739 1318 870 0 0 0 0 0

N.S.

1 0.99 1.76 1.16 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.070 11.736 0.714 0.000 0.000 0.000 0.000 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C F F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

546 533 1646 10013 0 0 0 0 0

N.S.

1 0.98 3.01 18.34 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.149 6.957 24.709 0.000 0.000 0.000 0.000 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

326 324 566 10314 0 0 0 0 0

N.S.

1 0.99 1.74 31.64 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.901 3.322 1.243 0.000 0.000 0.000 0.000 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 130 194 265 0 0 0 0 0

N.S.

1 0.98 1.47 2.01 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.744 0.207 0.168 0.000 0.000 0.000 0.000 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F C F F F F F(-1)

verified

N/A Yes N/A No TBD TBD TBD TBD TBD

size

308 344 0 3441 0 0 0 0 0

N.S.

1 1.12 0.00 11.17 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.469 0.000 1.097 0.000 0.000 0.000 0.000 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

1089 1085 3976 5109 0 0 0 0 0

N.S.

1 1.00 3.65 4.69 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.773 86.998 1.633 0.000 0.000 0.000 0.000 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 432 52 0 22 22

N.S.

1 1.00 1.10 1.00 21.60 2.60 0.00 1.10 1.10

time (sec)

N/A 0.298 3.540 0.207 4.000 0.270 0.000 0.385 3.699

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 262 36 19 22 22

N.S.

1 1.00 1.10 1.00 13.10 1.80 0.95 1.10 1.10

time (sec)

N/A 0.302 0.310 0.188 2.316 0.265 93.581 0.348 3.704

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

162 222 0 0 0 0 0 0 0

N.S.

1 1.37 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.482 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

780 800 623 259 0 0 0 0 0

N.S.

1 1.03 0.80 0.33 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.478 0.527 0.424 0.000 0.000 0.000 0.000 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

481 491 365 444 591 0 0 0 0

N.S.

1 1.02 0.76 0.92 1.23 0.00 0.00 0.00 0.00

time (sec)

N/A 0.883 0.206 0.467 0.390 0.000 0.000 0.000 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 138 138 181 192 0 0 0 0

N.S.

1 1.15 1.15 1.51 1.60 0.00 0.00 0.00 0.00

time (sec)

N/A 0.516 0.011 0.408 0.205 0.000 0.000 0.000 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

186 191 394 259 192 0 0 0 0

N.S.

1 1.03 2.12 1.39 1.03 0.00 0.00 0.00 0.00

time (sec)

N/A 0.487 9.458 0.410 0.201 0.000 0.000 0.000 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

545 560 555 581 651 0 0 0 0

N.S.

1 1.03 1.02 1.07 1.19 0.00 0.00 0.00 0.00

time (sec)

N/A 1.132 0.402 0.791 0.360 0.000 0.000 0.000 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

832 847 791 366 0 0 0 0 0

N.S.

1 1.02 0.95 0.44 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.549 0.751 0.474 0.000 0.000 0.000 0.000 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

585 585 549 648 0 0 0 0 0

N.S.

1 1.00 0.94 1.11 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.172 0.375 0.091 0.000 0.000 0.000 0.000 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

661 661 668 751 0 0 0 0 0

N.S.

1 1.00 1.01 1.14 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.345 0.345 0.091 0.000 0.000 0.000 0.000 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

335 356 403 768 0 0 0 0 0

N.S.

1 1.06 1.20 2.29 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.047 0.363 0.692 0.000 0.000 0.000 0.000 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 72 150 149 0 0 0 0 0

N.S.

1 0.87 1.81 1.80 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.595 0.073 0.192 0.000 0.000 0.000 0.000 0.000

[front] [up]